and Logic - PDFSEARCH.IO - Document Search Engine

and Logic
Results: 11835

#	Item
531	Part I: Introduction Part II: Solution The complexity of Sur-Hom(C∗4 ) Barnaby Martin and Dan¨ıel Paulusma Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-09-12 12:52:00 Mathematics Morphisms Complexity classes Graph theory Mathematical logic Structure Universal algebra NP-completeness Graph homomorphism Bipartite graph Homomorphism NP
532	Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:00 Theoretical computer science Logic in computer science Software engineering Computer science Hardware description languages Synchronous programming languages Formal methods Denotational semantics Esterel Robin Milner Milner Logic for Computable Functions
533	Comparing Argument Diagrams Collin Lynch,a Kevin Ashley, a, b, 1 and Mohammad Hassan Falakmasir a a University of Pittsburgh Intelligent Systems Program b University of Pittsburgh School of Law, Learning Research and Dev Add to Reading List Source URL: people.cs.pitt.edu Language: English - Date: 2015-09-28 15:47:40 Arguments Logic Critical thinking Philosophy Abstraction Thought Argumentation theory Debating Argument Counterargument Premise Object Process Methodology
534	Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family Diego Calvanese Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani 3 Add to Reading List Source URL: exmo.inria.fr Language: English - Date: 2008-11-27 08:56:04 Computing Ontology Information science Information Semantic Web Knowledge representation Artificial intelligence Description logic Web Ontology Language Tbox Abox Conjunctive query
535	SETS: A Basic Set Theory Package Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK. Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:48 Mathematical logic Mathematics Logic Boolean algebra Predicate logic Relational operator Predicate Boolean data type Algebra of sets Subset Equality Logical disjunction
536	APPEARED IN BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 32, Number 2, April 1995, PagesFAMILIES OF CURVES AND WEIGHT DISTRIBUTIONS OF CODES Add to Reading List Source URL: www.mat.uniroma2.it Language: English - Date: 2002-11-22 18:02:17 Mathematics Abstract algebra Algebra Finite fields Group theory Elliptic curves Number theory Analytic number theory Supersingular elliptic curve Combinatory logic Algebraic curve BCH code
537	Microsoft PowerPoint - DFNN by M J Er 29 May 2016.pptx Add to Reading List Source URL: wcci2016.org Language: English - Date: 2016-05-30 04:44:22 Fuzzy logic Artificial intelligence Logic Applied mathematics Neuro-fuzzy Academia Fuzzy control system Artificial neural network Fuzzy set Type-2 fuzzy sets and systems
538	Part 2: First-Order Logic 2.1 Syntax 2.2 Semantics 2.3 Models, Validity, Satisfiability 2.4 Algorithmic problems 2.5 Normal forms and Skolemization Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2009-06-05 11:15:41 Logic Mathematical logic Mathematics Automated theorem proving Propositional calculus Rules of inference Resolution Boolean algebra Literal First-order logic SLD resolution Horn clause
539	A Constraint-based Partial Evaluator for Functional Logic Programs and its Application Laura Lafave A thesis submitted to the University of Bristol in accordance with the Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Software engineering Programming paradigms Computing Theoretical computer science Evaluation strategy Incremental computing Partial evaluation Logic programming Functional programming Algorithm Programming language Evaluation
540	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system

UPDATE